$\forall$$T$:Type, $x$:$T$, $L$:($T$ List). ($x$ $\in$ $L$) $\Leftarrow\!\Rightarrow$ sublist($T$; cons($x$; []); $L$)